Перевод: с русского на все языки

со всех языков на русский

theoretical foundations

См. также в других словарях:

  • Theoretical computer science — is the collection of topics of computer science that focuses on the more abstract, logical and mathematical aspects of computing, such as the theory of computation, analysis of algorithms, and semantics of programming languages. Although not… …   Wikipedia

  • Foundations of mathematics — is a term sometimes used for certain fields of mathematics, such as mathematical logic, axiomatic set theory, proof theory, model theory, and recursion theory. The search for foundations of mathematics is also a central question of the philosophy …   Wikipedia

  • Foundations of Economic Analysis — is a book by Paul A. Samuelson published in 1947 (Enlarged ed., 1983). It sought to demonstrate a common mathematical structure underlying multiple branches of economics from two basic principles: optimizing behavior of agents and stability of… …   Wikipedia

  • Theoretical ecology — Mathematical models developed in theoretical ecology predict complex food webs are less stable than simple webs.[1]:75–77[2]:64 …   Wikipedia

  • Perimeter Institute for Theoretical Physics — Perimeter Institute of Theoretical Physics Abbreviation PI Formation 1999 Type Research institute …   Wikipedia

  • mathematics, foundations of — Scientific inquiry into the nature of mathematical theories and the scope of mathematical methods. It began with Euclid s Elements as an inquiry into the logical and philosophical basis of mathematics in essence, whether the axioms of any system… …   Universalium

  • Yukawa Institute for Theoretical Physics — The nihongo|Yukawa Institute for Theoretical Physics|基礎物理学研究所|kiso butsurigaku kenkyūsho is a research institute in the field of theoretical physics, attached to Kyoto University in Japan. It was inaugurated in 1952 Early history In 1949,… …   Wikipedia

  • New Foundations — In mathematical logic, New Foundations (NF) is an axiomatic set theory, conceived by Willard Van Orman Quine as a simplification of the theory of types of Principia Mathematica. Quine first proposed NF in a 1937 article titled New Foundations for …   Wikipedia

  • Laboratory for Foundations of Computer Science — The Laboratory for Foundations of Computer Science (LFCS) is based in the School of Informatics at the University of Edinburgh, Scotland. It has an international reputation in theoretical computer science. Selected members Current *Julian… …   Wikipedia

  • Список награждённых Национальной медалью науки США — Джошуа Ледерберг (справа) получает Национальную медаль науки из рук Президента США Джорджа Буша старшего Список …   Википедия

  • List of computer science conferences — This is a list of academic conferences in computer science. Most of these academic conferences are annual or bi annual events.The order with which the conferences are listed in their respective fields corresponds to a rough and non authoritative… …   Wikipedia

Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»